Login Sign Up

modal logic meaning

Synonyms of "modal logic""modal logic" in a sentence

Meaningmobile phoneMobile

  • Noun: modal logic
    1. The logical study of necessity and possibility 
    2. A system of logic whose formal properties resemble certain moral and epistemological concepts

    Derived forms: modal logics

    Type of: formal logic, logic, mathematical logic, symbolic logic

    Encyclopedia: Modal logic


  • [Computer]
    <logic> An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly A, probably A, it has always been true that A, it is permissible that A, it is believed that A.

    "It is necessarily true that A" means that things being as they are, A must be true, e.g.

     "It is necessarily true that x=x" is TRUE 
    while

     "It is necessarily true that x=y" is FALSE 
    even though "x=y" might be TRUE.

    Adding modal operators and , meaning, respectively, henceforth and hitherto leads to a "temporal logic".

    Flavours of modal logics include: Propositional Dynamic Logic (PDL), Propositional Linear Temporal Logic (PLTL), Linear Temporal Logic (LTL), Computational Tree Logic (CTL), Hennessy-Milner Logic, S1-S5, T.

    C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the modern analysis of modality. He developed the logical systems S1-S5. JCC McKinsey used algebraic methods (Boolean algebras with operators) to prove the decidability of Lewis' S2 and S4 in 1941. Saul Kripke developed the relational semantics for modal logics (1959, 1963). Vaughan Pratt introduced dynamic logic in 1976. Amir Pnuelli proposed the use of temporal logic to formalise the behaviour of continually operating concurrent programs in 1977.

Examples

  • Some problems in generalized modal logic
  • On quine's criticism about the modal logic
  • A study of chinese information filtering based modal logic
  • Diversified sight of modern modal logic
  • The last philosophical home of modal logic
  • Fuzzy modal logic and its basic systems
  • Formal reasoning system based on fuzzy propositional modal logic
  • Anti essentialism in modal logic
  • The proofs based on back and forth method for two theorems in modal logic
  • Intensionality of modal logic for ambient calculus with restricted replication
  • More examples:  1  2  3  4  5

Other Languages

What is the meaning of modal logic and how to define modal logic in English? modal logic meaning, what does modal logic mean in a sentence? modal logic meaningmodal logic definition, translation, pronunciation, synonyms and example sentences are provided by eng.ichacha.net.